1. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
3. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
![](/design/images/bookmore.png)
4. Conditional and preferential logics
پدیدآورنده : Gian Luca Pozzato
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Conditional and preferential logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Proof theory. ;
![](/design/images/bookmore.png)
6. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Logic II : proof
پدیدآورنده : prepared by the mathematics foundation course team
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
O6
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Logic, Proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Math proofs demystified
پدیدآورنده : / Stan Gibilisco
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Proof theory , Popular works,Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
19. Mathematical thinking and writing :
پدیدآورنده : / Randall B. Maddox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
![](/design/images/bookmore.png)
20. Mathematical thinking and writing: a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
54
.
M34
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)